<?php
  require_once('./tool_file.php');
  require_once('./tool_dir.php');
  require_once('./class_corpus.php');
  require_once('./tool_corpus.php');
  require_once('./class_document.php');

  $corpus = Tool_corpus::get_corpus_regexp('./','/\.php/');
  $array_document = $corpus->get_array_document();
  foreach($array_document as $document){
    echo $document->get_id()."\n";
  }


//  $dir = '/transfert/www2/xml/corpus_europa/';
//  $all_ids_europa = tool_corpus::europa_get_all_ids($dir);
//  foreach($all_ids_europa as $id_europa){
//    $cpt = count(tool_dir::get_files_regexp($dir,"/$id_europa/"));
//    echo rtrim($id_europa,'.')." ($cpt)\n"; 
//  }

?>
